This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics ...
Lire la suiteUlrich Kohlenbach presents an applied form of proof theory that has led in recent years to new results in number theory, ...
Lire la suiteIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lire la suiteIt covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Lire la suiteThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational ...
Lire la suiteThis book constitutes the refereed proceedings of the Third International Computer Science Symposium in Russia, CSR 2008, ...
Lire la suiteThis book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...
Lire la suiteThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lire la suiteThis book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
Lire la suiteThis book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Lire la suiteThis book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
Lire la suiteThis book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational ...
Lire la suiteThis book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Lire la suiteETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...
Lire la suiteConstitutes the refereed proceedings of the 5th International Workshop on Frontiers of Combining Systems, FroCoS 2005, held ...
Lire la suiteThis volume contains the papers presented at the 11th International Conference on Logic for Programming, Arti'cial Intelligence, ...
Lire la suiteThis book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...
Lire la suiteIn the last two decades modal logic has undergone an explosive growth, to thepointthatacompletebibliographyofthisbranchoflogic,supposingthat ...
Lire la suiteThis book constitutes the refereed proceedings of the first International Conference on Computability in Europe, CiE 2005, ...
Lire la suite